-
1 recursion induction
Большой англо-русский и русско-английский словарь > recursion induction
-
2 recursion induction
Математика: рекурсивная индукция -
3 recursion induction
мат. -
4 recursion induction
Англо-русский словарь по исследованиям и ноу-хау > recursion induction
-
5 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
6 рекурсивная индукция
Большой англо-русский и русско-английский словарь > рекурсивная индукция
-
7 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
8 transfinite
трансфинитный large transfinite dimension ≈ топ. большая трансфинитная размерность method of transfinite induction ≈ метод трансфинитной индукции principle of transfinite induction ≈ принцип трансфинитной индукции transfinite central series ≈ трансфинитный центральный ряд transfinite p-adic line ≈ трансфинитная p-адическая прямая - transfinite algorithm - transfinite automaton - transfinite cardinal - transfinite closure - transfinite diameter - transfinite dimension - transfinite formula - transfinite function - transfinite hierarchy - transfinite induction - transfinite number - transfinite order - transfinite ordinal - transfinite product - transfinite recursion - transfinite sequence бесконечный, безграничныйБольшой англо-русский и русско-английский словарь > transfinite
-
9 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme -
10 definition
1) определение
2) дефиниция
3) четкость
– by definition
– concrete definition
– definition by induction
– definition by recursion
– definition in depth
– definition of measure
– domain of definition
– explicit definition
– general definition
– generic definition
– implicit definition
– range of definition
– recursive definition
-
11 loop
1) циклв программировании - повторяющееся выполнение последовательности операторов (тела цикла), контролируемое с помощью специального счётчика (счётчика цикла, loop counter), а также по логическому условию его продолжения или завершения. В зависимости от того, когда проверяется это условие - в начале цикла или в конце - различают циклы с предпроверкой (pretested loop) и с постпроверкой (posttested loop). Циклы бывают одиночными и вложенными (nested loop)Ant:см. тж. conditional loop, counted loop, embedded loop, empty loop, endless loop, event loop, induction variable, infinite loop, inner loop, iteration, loop blocking, loop body, loop collapsing, loop distribution, loop exit, loop fission, loop fusion, loop header, loop interchange, loop invariant, loop inversion, loop optimization, loop parallelization, loop peeling, loop repeat, loop splitting, loop statement, loop termination, loop transformation, loop unrolling, loop unswitching, loop variable, loop vectorization, wait loop2) петляв теории графов - ребро, которое соединяет вершину саму с собойсм. тж. graph3) петля, кольцо, контур4) (см. тж. looping) - зацикливание [пакетов]в компьютерной сети - ситуация, когда пакеты передаваемых данных не попадают к адресату, а просто постоянно проходят по некоторой круговой последовательности сетевых узлов (network node)5) двигаться по кругу; проходить циклнапример, the inner loop counter loops five times - внутренний цикл прокрутится пять разАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > loop
-
12 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
13 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
См. также в других словарях:
Recursion — Recursion, in mathematics and computer science, is a method of defining functions in which the function being defined is applied within its own definition. The term is also used more generally to describe a process of repeating objects in a self… … Wikipedia
Transfinite induction — is an extension of mathematical induction to well ordered sets, for instance to sets of ordinals or cardinals. Transfinite induction Let P(α) be a property defined for all ordinals α. Suppose that whenever P(β) is true for all β < α, then P(α) is … Wikipedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… … Wikipedia
San Diego Math Circle — Founded by Richard Rusczyk in 2003, the San Diego Math Circle serves fifth to twelfth grade students in the San Diego area. Offering free classes for avid middle and high school math students at UCSD, it quickly grew to become one of the largest… … Wikipedia
University of Chicago School Mathematics Project — The University of Chicago School Mathematics Project (UCSMP) was founded in 1983 at the University of Chicago with the aim of upgrading mathematics education in elementary and secondary schools throughout the United States. The UCSMP has created… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia